Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions
نویسندگان
چکیده
منابع مشابه
A Spectrum of Behavioral Relations over LTSs on Probability Distributions
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavioral relations on PLTSs have been studied. In particular, Parma and Segala [2007] define a probabilistic Hennessy-Milner logic interpreted over distributions, whose logical equivalence/preorder when restricted to Dira...
متن کاملLogical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions
In recent years the study of probabilistic transition systems has shifted to transition relations over distributions to allow for a smooth adaptation of the standard non-probabilistic apparatus. In this paper we study transition relations over probability distributions in a setting with internal actions. We provide new logics that characterize probabilistic strong, weak and branching bisimulati...
متن کاملLogical characterizations of simulation and bisimulation for fuzzy transition systems
Simulations and bisimulations are known to be useful for abstracting and comparing formal systems, and they have recently been introduced into fuzzy systems. In this study, we provide sound and complete logical characterizations for simulation and bisimulation, which are defined over fuzzy labeled transition systems via two variants of the Hennessy-Milner Logic. The logic for characterizing fuz...
متن کاملCharacterizations of Certain Marshall-Olkin Generalized Distributions
Several characterizations of Marshall-Olkin generalized distributions, introduced by Gui (2013) and by Al-Saiari et al. (2014) are presented. These characterizations are based on: (i) a simple relationship between two truncated moments ; (ii) the hazard function.
متن کاملCharacterizations of Probability Distributions via Bivariate Regression of Record Values
Bairamov et al. (2005) characterize the exponential distribution in terms of the regression of a function of a record value with its adjacent record values as covariates. We extend these results to the case of nonadjacent covariates. We also consider a more general setting involving monotone transformations. As special cases, we present characterizations involving weighted arithmetic, geometric...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2015
ISSN: 1529-3785,1557-945X
DOI: 10.1145/2641566